Negation-centric equivalent
記号:
$ \neg\exists
「存在しない」を意味する
例:
$ \neg\exists x : P(x)
:
$ P(x)
を満たす
$ x
は存在しない
$ \neg\exists x : P(x)
と、
$ \forall x: \neg P(x)
は等価